Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
321	First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-23 02:44:06 Propositional calculus Model theory Boolean algebra Interpretation Philosophy of mind Propositional formula First-order logic Stable model semantics FO Logic Mathematics Mathematical logic
322	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
323	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 8 Lower Bounds for Linear Satisfiability Problems ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:17:56 Computational complexity theory Abstract algebra Linear algebra NP-complete problems Logic in computer science Boolean satisfiability problem Time complexity PP Element distinctness problem Theoretical computer science Mathematics Algebra
324	Sector Partnership (SP) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by 11:59 PM EDT on May 29, 2015 Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-07 12:03:18 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
325	Orthogonal basis for functions over a slice of the Boolean hypercube Yuval Filmus Institute for Advanced Study, Princeton, NJ November 20, 2014 Abstract We present a simple, explicit orthogonal basis of eigenvectors for Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-11-20 17:32:17 Polynomials Multilinear algebra Algebraic geometry Orthogonal polynomials Vector space Homogeneous polynomial Basis Inner product space Schwartz–Zippel lemma Algebra Mathematics Linear algebra
326	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University May 23, 2008 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-02-12 00:13:50 Complexity classes Boolean algebra Constraint programming Mathematical optimization Boolean satisfiability problem Constraint satisfaction problem NP-complete Belief propagation NP Theoretical computer science Computational complexity theory Applied mathematics
327	Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-04-19 15:56:45 Model theory Formal languages Metalogic Boolean algebra Interpretation First-order logic Satisfiability Function Well-formed formula Logic Mathematical logic Mathematics
328	We transfer information using sentences. How should we model this? Some aspects of the logical structure of conversation Daniel Rothschild Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Propositional calculus Grammar Semantics Philosophy of language Boolean algebra Proposition Negation Formal language Logic Linguistics Science
329	doi:j.jtbi Add to Reading List Source URL: www.itp.uni-bremen.de Language: English - Date: 2011-08-10 05:51:03 Boolean algebra Bioinformatics Systems biology Cell cycle Algebraic logic Boolean network Gene regulatory network Maturation promoting factor Boolean function Biology Mathematics Science
330	Chapter 1: Origin of Computer Science Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Boolean algebra Semantics Mathematical logic Logical connectives Mathematical proof Truth table Negation Equals sign Mathematics Propositional calculus Logic

UPDATE